Action Types in STIT Semantics

Raimo Tuomela and Gabriel Sandu Action as Seeing to It That Something Is the Case

In this paper the notion of intentional activity in its broadest sense is characterized in precise terms. This is done by means of the notion of seeing to it that something, say R , is the case. Contrary to what has been generally assumed in the logic of action, it is claimed that one cannot unintentionally see to it that R is the case, seeing to it being necessarily intentional. Indeed, it is ...

Temporal STIT logic and its application to normative reasoning

OATAO is an open access repository that collects the work of Toulouse researchers and makes it freely available over the web where possible. To cite this version : Lorini, Emiliano Temporal STIT logic and its application to normative reasoning. I present a variant of STIT with time, called T-STIT (Temporal STIT), interpreted in standard Kripke semantics. On the syntactic level, T-STIT is nothin...

Input/Output STIT Logic for Normative Systems

In this paper we study input/output STIT logic. We introduce the semantics, proof theory and prove the completeness theorem. Input/output STIT logic has more expressive power than Makinson and van der Torre’s input/output logic. We show that input/output STIT logic is decidable and free from Ross’ paradox.

How do pessimistic agents save miners? A STIT based approach

This paper develops a new STIT based deontic logic, pessimistic utilitarian deontic logic, capable of analyzing the miners puzzle. The key idea of the semantics of this logic is: one set of possible worlds is better than another set of possible worlds iff the worst world in the first set is better than the worst world in the second. This semantics gives an idea to write predictions in the miner...

Stit, Iit, and Deontic Logic for Action Types